#!/bin/bash

WFMS_BIN_DIR=`dirname "$(cd ${0%/*} && echo $PWD/${0##*/})"`
WFMS_HOME=${WFMS_BIN_DIR%/*}
cd $WFMS_HOME

pid=$(cat server.pid)
kill $pid
rm -f server.pid


